Bijective faithful translations among default logics
نویسندگان
چکیده
منابع مشابه
Bijective Faithful Translations among Default Logics
In this article, we study translations between variants of defaults logics such that the extensions of the theories that are the input and the output of the translation are in a bijective correspondence. We assume that a translation can introduce new variables and that the result of translating a theory can either be produced in time polynomial in the size of the theory or its output is of size...
متن کاملFaithful Translations among Models and Speciications in Veritech
Numerous translations exist between the design notations of formal methods tools, usually between two speciic notations. VeriTech is a general framework for translating among formal veriication tools. The notation of each component tool is translated to a core representation, and the core is translated to each component. For any translation it is important that the translation preserves a simil...
متن کاملModal translations in substructural logics
Substructural logics are logics obtained from a sequent formulation of intuitionistic or classical logic by rejecting some structural rules. The substructural logics considered here are linear logic, relevant logic and BCK logic, It is proved that first-order variants of these logics with an intuitionistic negation cm be embedded by modal translations into M-type extensions of these logics with...
متن کاملRepresenting Logics and Logic Translations
Logic is the study of formal languages for propositions and truth. Logics are used both as a foundation of mathematics and as speci cation languages in mathematics and computer science. Since logic is intricately intertwined with the nature of mathematics, the question how to represent logics in our minds is a constant challenge to our understanding. And only when it is understood can we begin ...
متن کاملFaithful Translations between Polyvariant Flows and Polymorphic Types
Recent work has shown equivalences between various type systems and flow logics. Ideally, the translations upon which such equivalences are based should be faithful in the sense that information is not lost in round-trip translations from flows to types and back or from types to flows and back. Building on the work of Nielson & Nielson and of Palsberg & Pavlopoulou, we present the first faithfu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Logic and Computation
سال: 2014
ISSN: 0955-792X,1465-363X
DOI: 10.1093/logcom/ext073